Solving the Projection Problem with OWL2 Reasoners: Experimental Study
نویسندگان
چکیده
We evaluate HERMIT, an OWL2 reasoner, on a set of test cases that emerge from an unusual but very practical way of using Description Logics (DLs). In the field of reasoning about actions, the projection problem is an elemental problem that deals with answering whether a certain formula holds after doing a sequence of actions starting from some initial states represented using an incomplete theory. We consider a fragment of the situation calculus and Reiter’s basic action theories (BAT) such that the projection problem can be reduced to the satisfiability problem in an expressive description logic ALCO . We adapt an approach called regression where an input query is equivalently transformed until it can be directly checked against the initial theory supplemented with the unique name axioms (UNA) without any consideration to the rest of the BAT. To study regression in practice, we implemented it in C++, defined an XML SCHEMA to describe a BAT and queries, created 7 domains some of which are inspired from well-known planning competition domains, and invented generators that can create random but meaningful instances of the projection problem. The formula resulting from regressing a projection query, together with the initial theory and UNA, is fed to an OWL2 reasoner to answer whether the regressed query holds given the initial theory and UNA. We measure the input formula using a number of metrics, such as a number of U-role occurrences and a number of individuals, and evaluate the performance of HERMIT on formulas along each
منابع مشابه
Development of Fuzzy Rough Features in Ontology Knowledge Representation
Knowledge about a system contains ambiguity and vagueness. Fuzzy ontologies using rough concepts are able to deal with imprecise and vague knowledge. Several important amount of work has been carried out in the field of fuzzy ontologies during the last years and they have been successfully used in several applications, but appropriate methodology to represent fuzzy rough concepts using annotati...
متن کاملThe Impact of Family / School-Based Problem Solving Training on Problem-Solving Styles of Elementary Students
Background and Purpose: Problem solving is one of the structured cognitive programs that provides a range of efficient responses to deal with the problematic situations of life. The purpose of this study was to determine the effect of family / school-based problem solving training on problem-solving styles of elementary students. Method: The present study was an experimental research with prete...
متن کاملA ROS multi-ontology references services: OWL reasoners and application prototyping issues
In this extended abstract, we introduce the ARMOR service, a general-purpose and scalable interface between robot architectures and OWL2 reasoners. ARMOR addresses synchronisation and communication issues among heterogeneous and distributed software components. As a guiding scenario, we consider a prototyping approach for the use of symbolic reasoning in human-robot interaction applications.
متن کاملThe Effectiveness of Problem Solving Therapy on Coping Skills in Women with Type 2 Diabetes
Objectives: Since problem solving group training is a comprehensive, active program and based-on cognitive behavioral approach, the aim of present study was to determine the effectiveness of problem solving therapy on depression and coping style in patients with type 2 diabetes mellitus. Methods: In an experimental design the study was done with pretest-posttest with control group. Totally 3...
متن کاملThe Effectiveness of Cognitive Rehabilitation on Mathematical Word Problem Solving in Students with Specefic Learning Disability with Impairment in Mathematic
The aim of the current reaerch was to study the effectiveness of cognitive rehabilitation on mathematical word problem solving in students with specific learning disabilitiy with impairment in mathematic. The research design was quasi-experimental pre-test and post-test with a control group. The statistical population of the study included all male students with specefic learning disabilitiy wi...
متن کامل